Math'φsics

Menu
  • Acceuil
  • Maths
  • Physique
    • Maths
    • Physique
  • Espace topologique

    Formulaire de report


    Espace topologique \((E,\tau)\) de \(E\)
    Couple tel que \(\tau\in{\mathcal P}(E)\) respecte les axiomes suivants :
    1. \(\varnothing,E\in\tau\)
    2. \(\tau\) est stable par intersection finie
    3. \(\tau\) est stable par union quelconque
    • l'ensemble des topologies de \(E\) est stable par intersection
    • on dit que \(\tau\) est la topologie de \((E,\tau)\)


    Questions de cours

    Montrer qu'une intersection de topologies \(\tau=\bigcap_{i\in I}\tau_i\) sur \(E\) est une Itopologie sur \(E\)

    On vérifie les axiomes : le premier est ok.
    On a bien \(\varnothing,E\in\tau\)

    Les deux autres axiomes (intersection finie et union quelconque) sont vérifiés via le fait qu'elles sont vérifiées pour chaque topologie \(\tau_i\)

    Comme les \(\tau_i\) sont des topologies, on a $$\bigcap_{i=1}^nU_i\in\tau_i\implies\bigcap^n_{i=1}U_i\in\tau$$l'union quelconque fonctionne de façon identique

    START
    Ω Basique (+inversé optionnel)
    Recto: La définition d'une topologie possède-t-elle une hypothèse redondante ?
    Verso: Oui, \(\varnothing\in\tau\) est redondant étant donné qu'une intersection de \(0\) ensembles donne déjà \(\varnothing\).
    Bonus:
    END

  • Rétroliens :
    • Espace métrisable
    • Théorème de Weierstrass
    • Topologie induite